Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
221	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
222	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia Add to Reading List Source URL: manu.sridharan.net Language: English - Date: 2015-03-03 14:08:09 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory
223	Part III Application Structure 401 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Data types Type theory Source code Holism Type system OCaml Abstract data type Caml Software engineering Computer programming Computing
224	A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-02 15:12:25 Computing Parametricity Stack Polymorphism Unit type Type theory Software engineering Data types
225	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
226	Representation-based Just-in-time Specialization and the Psyco prototype for Python Armin Rigo Abstract. Add to Reading List Source URL: psyco.sourceforge.net Language: English - Date: 2010-07-16 05:28:24 Cross-platform software Type theory Data types Procedural programming languages C++ Eval Function C Variable Software engineering Computing Computer programming
227	The Collections Connection Ninth Edition (Really!) Josh Bloch Martin Buchholz Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2006-05-29 06:28:47 Cross-platform software Java platform Abstract data types Sun Microsystems Java programming language Java collections framework Priority queue Java Iterator Computing Software engineering Computer programming
228	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
229	Getting Started with Whiley David J. Pearce April 8, 2015 Abstract The aim of this document is to provide a short introduction to the Whiley programming language, in order to get you up and running quickly. However, it i Add to Reading List Source URL: whiley.org Language: English - Date: 2015-04-07 19:00:10 Data types C++ Type theory C programming language Object-oriented programming Struct Type conversion Reference Pointer Software engineering Computer programming Computing
230	Brief Announcement: Serial-Parallel Reciprocity in Dynamic Multithreaded Languages Kunal Agrawal I-Ting Angelina Lee Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2014-08-27 02:16:24 Abstract data types Cilk Computing Computer programming Software engineering

UPDATE